:: Integer -> Double is:exact package:foundation